interpretation of formalisms
形式系统的解释
热门查询
- Stockwell [人名] [英格兰人姓氏] 斯托克韦尔住所名称，来源于古英语，含义是“树桩，木板桥+泉，溪流”(tree stump,plank bridge+spring,stream); [地名] [美国] 斯托克韦尔
- curly adj. 卷曲的；卷毛的；（木材）有皱状纹理的；蜷缩的
- Sewell 休厄尔（人名） 苏埃尔（地名）
- pounds n. 磅，英镑；重击（pound复数形式） v. 猛击（pound的第三人称单数） n. (Pounds)人名；(英)庞兹
- commissioner n. 理事；委员；行政长官；总裁
- outback n. 内地 adv. 在内地；往内地 adj. 内地的
- Kelman n. (Kelman)人名；(德、法、罗)克尔曼
- fibromyalgia n. 纤维肌痛；纤维组织肌痛
- reliability n. 可靠性
- exportation n. 出口
- hyped adj. 兴奋的 v. 炒作（hype的过去分词）
- EISA abbr. Extended Industry Standard Architecture 扩展工业标准结构
- evolutionarily 进化上
- reconstructive adj. 重建的；改造的
- corollary n. 推论；必然的结果
- cas abbr. 中国科学院（Chinese Academy of Sciences）；计算机技术学会（Computer Arts Society）；控制自动化系统（Control Automatic System） n. (Cas)人名；(法)卡斯
- discolored adj. 脱色的；污染的 v. 使褪色；脱色（discolor的过去分词）
- chastened vt. 惩罚；磨炼；抑制
- fundus n. [解剖] 底；[解剖] 基底；底部
- foetid adj. 有恶臭的
考试词汇表
